Search results for "Symbolic integration"
showing 3 items of 3 documents
Elementary Integration of Superelliptic Integrals
2021
Consider a superelliptic integral $I=\int P/(Q S^{1/k}) dx$ with $\mathbb{K}=\mathbb{Q}(\xi)$, $\xi$ a primitive $k$th root of unity, $P,Q,S\in\mathbb{K}[x]$ and $S$ has simple roots and degree coprime with $k$. Note $d$ the maximum of the degree of $P,Q,S$, $h$ the logarithmic height of the coefficients and $g$ the genus of $y^k-S(x)$. We present an algorithm which solves the elementary integration problem of $I$ generically in $O((kd)^{\omega+2g+1} h^{g+1})$ operations.
Symbolic integration of hyperexponential 1-forms
2019
Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,\dots,x_n)$ with coefficients in a field $\mathbb{K}$, $[\mathbb{K}:\mathbb{Q}] <\infty$, and $\omega$ a rational differential $1$-form. Assume that $H\omega$ is closed and $H$ transcendental. We prove using Schanuel conjecture that there exist a univariate function $f$ and multivariate rational functions $F,R$ such that $\int H\omega= f(F(x))+H(x)R(x)$. We present an algorithm to compute this decomposition. This allows us to present an algorithm to construct a basis of the cohomology of differential $1$-forms with coefficients in $H\mathbb{K}[x,1/(SD)]$ for a given $H$, $D$ being the denominator of $dH/H$ and $S\in\mathbb{K}[x…
Computation of form factors in massless QCD with finite master integrals
2016
We present the bare one-, two-, and three-loop form factors in massless Quantum Chromodynamics as linear combinations of finite master integrals. Using symbolic integration, we compute their $\epsilon$ expansions and thereby reproduce all known results with an independent method. Remarkably, in our finite basis, only integrals with a less-than-maximal number of propagators contribute to the cusp anomalous dimensions. We report on indications of this phenomenon at four loops, including the result for a finite, irreducible, twelve-propagator form factor integral. Together with this article, we provide our automated software setup for the computation of finite master integrals.